bayeslambda.A set of math axioms which relate Bayes Rule to a certain universal function which always curries 7 parameters, including a doesNotHalt symbol. Halting-oracles are of course impossible. Instead of blockchain forking, experimentally may smoothly negotiate using bayes rule. Functions will support unicode, voxels, and low lag musical instruments.