positive test example for completeness