valid-proc-nocall.accept David H Muir Valid Illustrates procedure and then an empty sequence.