uninterpreted

• Turing
• proportioning
• leafed
• Carnot
• typographical