The Alias Is Not There Yet

Same readings table as before. A teammate writes this and it does not do what they expect.

SELECT sensor, avg(value) AS mean
FROM readings
WHERE mean > 12
GROUP BY sensor;

What actually happens?