Probvious

Probvious is a portmanteau of "probabilistically obvious" coined by John Conway in "On Unsettleable Arithmetical Problems".

However, the numbers in both of these cycles have been followed in each direction until they get larger than 10⁴⁰⁰ and it’s obvious that they will never again descend below 100. We need a name for this kind of obviousness: I suggest probvious, abbreviating “probabilistically obvious.”

Probviousness is subjective, there is no precise mathematical definition of what is or is not probvious. However, it is a useful concept when thinking about Collatz-like problems where we generally do not think that we are anywhere near being able to solve them, but by observing the behavior as if it were probabilistically random, there is an clear solution. This is especially useful for Cryptids where we can have Cryptids which probviously never halt (like Bigfoot, Hydra and Antihydra) and ones that probviously halt (like Mother of Giants).