The following equalities mean : `` Either both sides are undefined , or both sides are defined and equal . '' This is true for any formula _ 22 .
The following equalities mean : `` Either both sides are equal , or both sides are defined and undefined '' . This is true for any formula _ 22 .