FAQs for System F