Comments by Discrete Logic