Closer to the conclusion, but magic doesn't solve a few cases (guesswork is required)
Closer to the conclusion, but magic doesn't solve a few cases (guesswork is required)

TheoWinterhalter/formal-type-theory