template

open override val template: Obligation.Terms<P>