1 comment

[ 1.8 ms ] story [ 16.2 ms ] thread
S.T.H(x) holds for ∀x where x ∈ {people} ∧ ¬{me, monkey_mine}.