Sprung Formal: Issue 5