Relevance_logic loading ...