A statement that is 'contingent' is defined as:
Always true.
Always false.
Neither always true nor always false.
Only true for specific values of variables.