logical properties