technicalities comments on arxiv.org—I might work there soon