Comparative logic