chiropodist

• compiles
• axiomatic
• Slashdot
• watch
• Mizar