Tense_logic loading ...