unproved

• phenotype
• reroute
• arbitrator
• slips
• digraph
• proves