The top documents tagged [formalisms understandability]