here's the Specs implementation file.