I also don't think this is a good formulation.