We would benefit from explicitly including code reuse (user-defined functions and modules) in P scope, I think. It makes P more complex and more powerful/useful. If this is in the charter, then we would not have to argue again whether the added complexity is worth the benefits.