arachnoideum (rubrum) from Wallis 1