Advanced procedure and axioms - Hubbard, L. Ron (Copenhagan, 2007)