Sprung Formal: Issue 7