Seems like general correction is over now, but we need confirmation done by overrunning "4" high /JUNE/.
Comment:
Now or never, enumeration is to be changed, however, no deeper lowering should be followed.