module Transitive2
  ( module Transitive3 )
  where

import Transitive3