Mathematician:Steven R. Givant