discussion:en:logic