Proven Natural Language Processing