triangle_facts refactoring

Why is this at the bottom? Are these sorted alphabetically?