$${|OF| = f_1}$$