@bbowman Thanks for these recommendations. I have Boersma's Seeing God in my list but haven't read Leithart's book. Thank you!