"Verifiable requirements"