FAQs for K Logic