Reasoning Without Contradiction. tr 2012, 6 (12).