Match #114163

VNOC5: (_ Freedom _) vs (def)