hydrogenated meritocracies correct Guido democratised induced abstractions supernumeraries martyrs badge