om insisting on this basic separation of function, it would be cumbersome to insist too precisely on the form which