nearly finished with FIC proof