--- Reading Week ---
'There is a cirle in a square' is
'There is a cirle in a square' is true iff there is a circle in a square.
{a, b, c} = {c, b, a} = {a, b, a, a, c, b, c}
{x | x is an even number} = {y | y is an even number}
BARBARA PARTEE, IS THIS A GOOD TIME FOR FORMAL SEMANTICS? from ISTHISAGOODTIME on Vimeo.