The fāʾ in fa-huwa laka ḥatman links a nominal conditional consequence.