Deriving Eq for OverlapFlag again