Changed the definition of set-theoretical pullback to a record.