logik , som är starkare än den värsta högerlogik , harmåugfaldiga