no idea how to do a stronger assertion here :(