20This also applies to F1 in Eq. (2.7), although we will skip the details for representing F1.