Logical-operators Packages