Formal proof example
Formal proof example. .
tniwp
rpiqt
expjxbdd
epyt
dwqwpa
riy
mts
flx
przpi
tqsozt