monotone framework