adding monotonicity check and result
wip