add section on transitive properties and link with related work