second thoughts on naturalness of lower-index F, remove example