Completing the temporal picture - Manna, Zohar 1939-2018; Pnueli, Amir (1989)