Nothing about the uncertainty of the definition for 'reasoning' requires that pattern matching be part of the definition.
Did someone in this thread claim that?