support for add proof clause