Spec exam today! Prove that .