Very strong Law of the Excluded Mallard vibes here.

Aren’t you forgetting Goduck’s Incompleteness Theorem?