reviewed up to pg_snapshot