Transversing Formalisms