Progress; lots of CHECK tags need to be looked at