Added experiment with happy day scenario proof.
Simple PATH helper.