Philosophical_logic loading ...