better naming in transpose/2 and related predicates