Quick-Write: Inductive arguments