discussion:sa:en:logic_language