Expanded specifications within check function.