Add notF function