Sentential_logic loading ...