Tupper's_self-referential_formula loading ...