Markus explains the intricacies of algebraic specification to Bash. As you can see, it involves counting on one's fingers.