The validator3 application shown below is defined by the following: