Click tal_logic_mp_ans_fwc_2016.pdf link to view the file.