Tests are needed to demonstrate that the AND/OR operators sequentially evaluate their arguments. OR stops at the first true, AND stops at the first false. In other words, Daffodil should evaluate arguments one at a time until the result of the OR/AND is known, then stop and don't evaluate remaining arguments.