Sprung Formal: Issue 9