The University of Wisconsin microbiology mathematical logic DEMO of the Axiom of Choice --- Ax Murder