Grant Sanderson – 4d geometry