topics:logic