Alliethatimplies