We could add a post condition to ensure this