Text this: Una condición para que t2 implique t4