From Types to Images (Uniform Edition Vol. 4)