5.17-implement-rest-of-redlines