The voting machines in Arizona that are being audited have been de-certified and can no longer be used in elections. Pennsylvania says it will do the same. Michigan has not performed a forensic audit of its voting machines so there is no need to de-certify them.