omit reaching definitions for now; it is difficult to implement with the current implementation of the monotone framework