end Alyssa's problem, can't do some proof questions