Add snippet for proof