am I right in thinking the proof that \\(f\dashv g \implies g(b) = \sup A_b\\) does not at any point use the monotonicity of \\(f\\) or \\(g\\)?