Sprung Formal: Issue 12