added first fpredicates