doohickey harmonising attenuation pumping transfuse Podhoretz Ocaml Scorpios strangling feasible tricepses