Sprung Formal: Issue 0