#laura #implies #c equals c #ecnelaviuqe #identity principle #two way relation