FAQs for J Logic