Should I diagram a "might" statement as an existential quantifier? Like "If Jack is smart, he might eat healthy." But, it doesn't have to be the case that Jack ever eats healthy, so that's why I don't think it's correct. Please correct me if I'm wrong