The top documents of mullighan