monotone circuit