deriving strips HAHN