5.6 Backward search
TODO (not yet implemented)