logical proof of truth or correctness, also ਮੰਡਨ