 The program rule is a "test" function that calls declaration, a "test" rule, that returns "success" or "failure".The $ loop operator repeatedly calling declaration until "failure" is returned.The $ operator is always successful, even when there are zero declaration.