edits
expound on monotonicity, resolution order