Alex - that's great! It's clear, and it's as terse as it gets without leaving out steps. I think the most important step, not made clear in my explanation, is that we're using the definition of adjoints to show \$$f(g(b)) \leq_B b\$$.