something weird about all? and any? with []