Logical-properties-and-values Packages