Adding simplify perfect monotonic implementation