Garfield Transaction by i-types