Pull formalized integration