The top documents tagged [abstract assertion]