§å en logisk bevisning?