This sounds like the terminal contracts define by `define-terminal-contract` in another file but presumably they are for different purposes. Can you expand a bit in the comment here?