RED: corner case IV