Richard’s paradox · Up and Atom · Sentinel