More work on collapse2.ma