A very short introduction to jung