The top documents tagged [total learning formal]