Sprung Formal: Issue 2