Folly.Theorem
data
Theorem
theorem
hypothesis
conclusion