07.7 - Practice and Additional Theorems