Logical-expressions Packages