Currently, template validation fails if the Determining Properties and rules fail, and succeeds otherwise; this is a binary system. However, the Profile server spec specifies a ternary logic system, where if the Determining Properties fail, the Statement is unmatched against the Template(s), while if the rules fail, the Statement is invalid.