"[monotone]"