The top documents tagged [logical methods mark]