formal verification tab greyed-out

Hi, I'm trying to have quartus II generate netlists and Encounter-Conformal scripts but the formal verification tab on Quartus has become greyed-out. Normally, the tab has the option to switc...