stuff
revert the category theorist commit, it's too distracting