Refactored triangle facts.
Refactored Arrowhead
Removed empty parameter lists.