Redirecting to Tupper's self-referential formula