5.6 Backward search

TODO (not yet implemented)