Typed out all AIE stuff