Tag:

that does not depend on t2.