tauconf-6: Tupper's formula