why does 12x - 15y