major bummer to Major Theorem