Sprung Formal: Issue 17