Issue 75: added a Transitivity check