WIP: Partially defined specs