If X is an odd negative integer and Y is an even positive integer then XY must be