The top documents tagged [basis of theorem afooo]