If a farmer has 10 haystacks, and he loses 3, how many haystacks does he have left?