Combinatorial vs. Non-combinatorial Logic