atomize

Decompose high-level specs into atomic specs