1984e, "Trees and finite satisfiability: Proof of a conjecture of John Burgess," "Notre Dame Journal of Formal Logic 25": 193-197.