Refactoring: See src/pangloss/tmf