⁵Note: the implementation is for FCG(1).