Added testOnlyHumanCanDisprove