In the simulation with a 20 km-thick crust in the target, all of the peak-ring lithologies are derived from depths <20 km. In the simulation with a 40 km-thick crust in the target, some of those lithologies can be derived from slightly more than 25 km depth. Interestingly, we do not see a qualitative difference in the distribution of anorthositic, noritic and troctolitite lithologies across the basin. That is, the same lithologies mapped in Fig. 2 are also seen in other portions of the peak ring3, implying that they may occupy a range of depths in the crust.