Add highlighting for taus
Update example pdf