The top documents tagged [proof of conceptampelmann1230]