Denormalizing here doesn't look infeasible