updates to fpredicates