Observaties en verbazingen in Lean


 * "Verbeteren start met observeren".
 * Schrijf je observaties op.