strict and nonstrict monotonic