discussion:en:sa:logic_language