Language update/proof