The top documents tagged [assertion mathematics]