Some metadata on defnoteseq