Impelemt spec