First assertion !