The derived sequence particle at ({0}, {1}) is not a valid restriction of the base all particle at ({2}, {3}) according to ...