replace apply with "match goal => apply"