well-foundedness of leftTrans.