* Monday, 10/23/23 ** 12:59 Using LTL to reconstruct the polycule STD timeline