Schatten, rekenen...en bewijzen