F→4 x F