If we intend for the stuff below this to be private, should we use one of the standard notations like `defn-` rather than just a comment block?