9.12 Theorems and Experiments