implemented non-transitivity and IP/PI transitivity in hr