Formality at Work by Roland Pfyl