Towards Formal Concepts for Explanation Timing and Justifications