Updated logical properties in #29, attached interdiff for same. please review