FO[X]!CONNN^*