Deleted probability theory stuff. Apparently also some uncommited changes to U7.