prove specified method by percol