Let 
denote the event that a student is a freshman, 
a sophomore, 
a junior, and 
a senior.
Let
denote the event that a student majors in engineering. By the law of total probability,
By the definition of conditional probability, we can expand each of these intersection probabilities to get
Let
By the definition of conditional probability, we can expand each of these intersection probabilities to get