>>441
T≡<S∧R