Asserts añadidos