Conversion between states means nothing if the states can multiply endlessly. There needs to be conservation to prevent "something for nothing."
Indeed and that is probably best to focus on. Conservation, should serve that goal first. And I think you will see that as you implement things you can let go of strict versions.