Alpha Iota Correspondence 4