The top documents tagged [formally deciding]