deriveImpliedBounds