Sprung Formal: Issue 8