doc
new functions Admissable and Monotonic