the inner `all` looks correct