Certainty and software don't have a whole lot to do with each other.We certainly didn't specify anything that is impossible, even in a useful language.
That's probably not among the top 3 most difficult conformance requirements (except for fast code on platforms like the JVM).Full tail recursion should be a minimum.