Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
goal may be a function now, so it needs to be called with the vertex `x`
- Loading branch information
goal may be a function now, so it needs to be called with the vertex `x`