Windows displays 't' instead of 'τ' (tau) in error messages. This can cause confusion for users when they get error messages such as `Encountered temporal nondeterminism for t.`, as they will perhaps not make the connection that 't' is actually the τ action. This was the case when I started learning Modest.