The top documents tagged [formal analysisip valuation]