bevisning och säkra logik.