Tie integral is positive