Exercises for April 6. Please attempt the following exercises *in addition to* all 1-star exercises. Mail your completed scripts to me (apt@cs.pdx.edu) by the beginning of class on Tuesday 4/6. Basics.v: andb_true_elem2 plus_comm_informal mult_comm more_exercises decreasing binary Lists.v: alternate bag_functions bag_theorem list_exercises list_design bag_count_sum beq_natlist apply_exercises