Bidirectional Reasoning (1)

Representing bidirectional reasoning