HEAD.
Reverse implications.
Annotations.  More semantic actions.