with forward_prob