7.11 Applications of Logical Depth ...