What should this be asserting?