• The serializable transaction is isolated.

  • But it still sees state from the other transaction!

  • Note that xmax has been set for the row deleted by the other transaction, indicating the deletion.

  • That's OK -- xmax is system-maintained information. Used by Postgres to determine if a row is visible.