extracted spec checking from 'special' into module SpecCheck