add an approach to proof