Abstraction, validation, and generalization for explainable artificial intelligence. Issue 4 (12th September 2021)