Text this: Realizability in ordered combinatory algebras with adjunction.