Hoare Logic In addition Applies to Relationships