"Verifiable Requirements"