Stoic_logic loading ...