added introduction to monotone framework