1 comment

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