logical properties, and is both