Specs and TODO
Updated specs
Rename variables to identifiers