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