From the original, failing, test: ``` - name: "The `rule` procedure consumes an Execution as a block" body: | implementation void[] [ specification rule[] “Be awesome” {} ] [ pass[] ] eventually: fail ```