Relationships with other Formalisms