Match #78203

OPT23: (ReDLinE-) vs (J P)