n-order, logic