The top documents tagged [proposition of higher]