information about Fagin's theorem field