?? "marked moduli stack" (and associated "quantification operations" .... ???? ....) and ... ?? "alg geom" as sort of "substitute" for "logic", vs as "enriched environment" (??? ...) in which for it to take place ... ??? ....