sa:discussion:en:symbol:logic:human