tupper's self referential formula - dofaq.co