Yeah, I think I prefer keeping it for teachability. Only `@goal_rule`s can do things like use

Console

. What’s the motivation? E.g. less code?