Theory_(logic) loading ...