.. _goal: `goal syntax`_
