Input: The DA proved Jones guilty and the Assistant DA will prove Smith.
Output: 1