mathematics cat refuses to postulate birational geometry