User blog comment:Vel!/1+w/@comment-5982810-20141011205302/@comment-5982810-20141011214140

I don't understand why you guys have such a hard time understanding what I'm trying to say. Evaluating a function does not require anything more than a rule to tell you how to go from one step to another. Defining a function and analyzing it are separate activities.

Why do you guys keep jumping to the "extreme position". You can use logic and theory to analyze something. Why do you need these things to describe fundamental operations? If I set up a row of dominos I don't HAVE TO prove they will all fall down, but they will, because of the inherent nature of the system. Same thing when we define functions.