Sprung Formal: Issue 10