Topics Related to Case Theory and Witnesses: