F, <F>, and ​G