Match #31826

PTCT4: ([Mom] xbob) vs (Infinityyyyyyyy)