irrationals

• hearkens
• project
• pita
• spiky
• coequals
• TN
• predicative