And scaling by a negative integer is an antimonotone mapping.