wrong if `F=0`