Terminology tweak. Reversed arrows is 'converse', not dual.