User blog comment:P進大好きbot/Ill-definedness of BIG FOOT, Little Bigeddon, and Sasquatch/@comment-36984051-20181204215049/@comment-35470197-20181208002636

WDUO is obviously ill-defined, because no axiom which ensures the canonical choice of the systems is specified.