Post by zayd in Deductum comments - itch.io

Deductum » Comments

Viewing post in Deductum comments

↑ View parent post

I think this is called a lemma in most of logic. That would be nice to see.