On a less medieval and more ancient basis, from the original 白馬非馬 ("A white horse is not a horse.") we can derive the following suitably high-gravitas philosophical truth-revelatory statements:

競態非態 ("A race race condition is not a condition.")

釋後非釋 ("Use-after-free is not free.")

隱後非隱 ("Things hidden are not.")

單向交接非交接 ("A one-way handoff is not a handoff.")

That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'