Maybe add something like "Remember, if the value of the voided property is true, then the statement MUST NOT be converted".