~(p&~p)This user studies the concept of logic.