example 2.7: edoc for drop