Use the builtin `all' matcher