Solomon_Feferman loading ...