- indeed she does
 - applicative vs vcopies and vapp
 - formatting