proof related

.