The top documents tagged [vv formalisms questions]