Claim: Mike Portnoy was replaced by Mike Mangini.
Evidence: He was replaced by Mike Mangini.