(< coin 10) means "less than 10".