A random hypothesis I came up with while reading this, that I also haven’t put much thought into yet: Is every strict monoidal monotone between resource theories the type that merely forgets things, up to a relabeling of the underlying set? If so, does this hold for general monoidal preorders? If not, what other sorts of strict monoidal monotone are there for resource theories? (We can call this **Puzzle JMC7**, keeping in mind I haven’t solved it yet, and I don’t remember the last number I used.)