Two questions: 1.) what's your preferred method for confirming knockout/indel formation by Cas9, 2.) how does one go about confirming a change in protein activity has occurred beyond bioinformatic inference or histological visualization? (e.g., if the target product is an enzyme, is it possible to isolate the modified protein and run an enzymatic activity assay or simply quantify the enzyme's metabolic product?)