Apply method to proof context