Working on proofs.. \therefore\because\qed