Sprung Formal: Issue 4