correted assertions