discussion:logic