Related Formalisms