Reformulated paragraph in "Mathematical Model", described function application's left-associativity.