forgetfulness based on backjump