d t r u e = t ( p t r u e ) c d e s t = t ( p e s t ) c