... escapes only if LF cap is exceeded.
... is "Exceeded → Escape," which contraposed (is that a word?) gives you "/Escape → /Exceeded," which is ... with the premise above which we accept as true. ... is still if its capacity is exceeded, and if capacity is ...