Verification by Michael Gang