Logic for Lawyers