weakening and transitivity together