Logic Law/Extensions