¹⁴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$.