Exactly. If two procs have the same name and arity, they are both evaluated and executed in the order they were declared.