make Q a parameter for all of cauchy.v (no messing with session, closeness not parametric in Q+ anymore)
make Q a parameter for all of cauchy.v (no messing with session, closeness not parametric in Q+ anymore)

SkySkimmer/HoTTClasses