optional_all_satisfied
i = optional_all_satisfied(v, satbility);
return (optional_all_satisfied(v, satbility));