hey*2: Abi3+1