Checking in initial specifications