y ▼ y y t ▼ t1 y^