remove begin-prove