Design tests that can genuinely fail by specifying…

Design tests that can genuinely fail by specifying in advance what observations would falsify the schema, not merely what would confirm it.