More explanation of shift/reset. Fix notation of prestates to not have hats since they are an induced concept.