Reyes -> Haddock -> Reyes