Details of Isa_and_max05