Where Condition defines the properties to be edited during the processing of the verification. Each variable verifications routines (VAR) must be allocated a Where Condition without which the verification routine cannot be allocated to a verification job or to a List Status. Property values and/or logic rules can also be given in the Where Condition.