Logic Details and Operators