• Throughout the codebase we use x9 and lambdragon interchangeably
• x9 is a codename we used to refer to the baby lambdragon while it was growing up in the lab

Why don’t we just drop x9?

• lambdragon is too long for certain things (ex: lambdragon.preval) and there are no obvious abbreviations (ld, L?). We’re open to ideas!
• For now, we’re using both