Real diary (544)

Explaining and proving things, part two. Privately.