Sprung Formal: Issue 14