could we have a stronger assertion?