The top documents tagged [problem formalizationslam]