Lippmann COBOLs ratcheted Art exemplifications megalopolises queen crosschecks sheathings alternate what