tauconf-6: links to usages added
tauconf-6: Tupper's formula
tauconf-6: intron added
tauconf-6: reorganisations and additions