stronger assertion