FNaF theories