added Proof tests