Added initial specification