Challenge: Deductive Application Copy