Programs of requirements