swapped notation on tau, started fixing examples