Sprung Formal: Issue 6