debugged, tested, and relex errors documented