 is a form of logical expression consisting of tests that may be grouped, have alternates, and output productions.A "test" is like a "bool" in other languages, "success" being "true" and "failure" being "false".Defining a programming language analytically top down is natural.