SMS: General relativity for mathematicians