tau_bar = (- tau) to_power (- 1)