yea,

@goal_rule

has a few bits of magic, including the `Workspace`/`Console` bit.