The top documents tagged [criticisms of formal]