Might Temporal Logic Improve the Specification of Directed Acyclic Graphs (DAGs)?. Issue 2 (6th August 2021)