The top documents tagged [bothatomic propositions]