Text this: Logical properties :