Real diary (544)

by luc dewaele

Explaining and proving things, part two. Privately.