periscope

• girds
• Mizar
• dicier
• Boolean
• quantifies
• cleaves