Logic checker