fixed tau logic