What is this assertion supposed to accomplish?