add subset non proof