I have one comment.
When you use a dedicated transfer, it can have different equations to it. One equation can be a base transfer, not based on population per se but on a series of criteria. Secondly, you could have a component that is clearly income support for students in need. Third could be a transfer that's based on targeted priorities that the federal government could set commensurate with its own responsibilities, such as those in the federal jurisdiction. Then you have a dedicated transfer that has a proper formula to it.