Relevant_alternatives_theory loading ...