Prove * a=b * because that doesn't make any sense!