Weimi,
Thanks for reminding me the Standard Model had commercial proofs, I should have remembered that.
Mike