Temporal_logic loading ...