Issue:On two formulations of the IF state representation theorem