We can write subtractions!