inv_all now breaks apart exists facts.