Matrix_clause loading ...