Body of subs_match proved!