retrograde analysis problem