HighProbability-internal
                        For programmers only. (Not to be called by the
                        user.)
alternative.probable    alternative.probable and
                        alternative.beneficial
