TRS is not left-linear