implicit arguments to STac combinators.
case analysis on any arrow in the premises