canonical formalisms