The English term "provably" matches the Italian term "comprovàbile"