Відправити по sms: Probabilistic verification beyond context-freeness