added proofs for relations