styling tweak from Galois job talk
begin revising introduction