xy <= 4