Yeah, "quadrilogy" is just a marketing term some studio came up with. Guess it sounds better than tetralogy.