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