initial section on 'default isolation'.