Abstract Image of Logic