Conditions for unknown variables and functions.