Real diary (542)

by luc dewaele

Explaining and proving things.