@jdorweiler What do we get here? If it's an empty array, `![]` will still be true.