Logic prob.