Corrected TA0 and TA1 constrains (-kBA should be +kBA).