Correct precondition for tuna_welch1