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