The no unmeasured confounding assumption is the conditional exchangeability statement
Also assume consistency of potential outcomes, no interference between units, and positivity in causal inference, in particular on the covariate support of treated units. Then
The first treated potential outcome equals the observed treated mean by consistency. Moreover,
Subtracting proves the displayed identification formula for the average treatment effect on the treated.
The average treatment effect is more relevant than the average treatment effect on the treated because the contemplated policy changes treatment status for schools that are presently non-UTC, not merely the 43 schools that selected into existing UTC status. More precisely, the ideal target would be the average effect among the candidate schools the minister might convert; if that population is represented by all eligible schools, it is the ATE. An ATT from existing UTCs answers a narrower historical question and may not transport to the policy targets.