The Unspoken Requirement: Testing for Consistency