The top documents tagged [canonical auxiliary constructions]