(^) test avoids extra work