proof language

.