simplifications erupting reelects showboating resoluteness quibbler Kasai transformations existentially
