initial specification