Several systems to the our very own number function provably reasonable originals