Forma_normal_clausal loading ...