Mathematical logic for playing around with conditionals, Principle of counting for understanding complexity