Added section on visualization of closure functions via lattices.