Sharper

A series exploring formalism and abstraction