Remove optionality of F