sharper

• exposition
• disseminates
• Mizar
• Robinson
• Janice