wip mess
wip
done with monotonicity, but cannot assign reduces clause