diss: separating environments declaration (theorem, definition, remark, example)
talk-durham: starting durham interview talk