Discussion between harshatech2012 and lemontree

Discussion between harshatech2012 and

Imported from a comment discussion on https://math.stackexchange.com/questions/3833069/deduction-theorem-interpretation/3833324#3833324
1617d ago – lemontree
20
2
This room is frozen.
Public: anyone may enter and talk