Note that we also have some assumptions/guarantees in our codebase