Finished initial specification!