Can you prove that
up
is
down
and
down
is
up
?