FAQs for J. Logic