Why does value have an Ada-like role in the unspecified historical Mahr example?

Ada and Qada: The Required Act and Its Substitute