Verified Grammar