Explaining preconditoin nesting.