 The above line of thought points in some interesting further directions. For example, the intuitionistic natural deduction rules governing ∧ (in Set-Fmla), which are the same as the classical ones, are themselves stronger than the following  rules:[24]