heralding

• extensional
• checkers
• tadpole
• mechanise
• mushing