Cum Laude Graduate Tackling Pronormality in Finite Groups