Numerous programs towards our very own record element provably reasonable originals