The p(y) can be omitted during optimization as it does not depend on ✓.
making I(Y ; T) large tries to obtain a high log-probability p ✓ (y | t) for the true parse y when reconstructing it from t alone.