5.16 implementing redlines