Schaden, G. Formalizing Current Relevance. SuB 2019, 17, 491-508.