the assert is actually incorrect, there could be data in rem .. let me have a try at rewriting that..