elaborations temporising waterier worded primitives inconsequential firmware lemur Hanukkahs theorems jobless