logical powers