Proving/Disproving suggestions seems to be working.