¹²For the purposes of this discussion we can regard unconditional equations as the special case of conditional equations with empty condition, or with the condition true = true.