Apparently I've read through Velleman's book halfway a few times and section 2.1 gets me all the time. Its on existential and universal quantifiers. I still don't know how to take a sentence and convert it using predicate symbol quite well. I'm not sure what other sorts of skills i am missing. I need some input on how to better understand predicate logic?