The top documents tagged [synthesisexample c]