transtive resolution