The top documents tagged [nontrivial applications]