over_inputs_if_termination
over_inputs
under_outputs_if_termination
over_outputs
over_outputs_if_termination
reciprocal_image b m
m
b