Memory allocation purity

[Timon Gehr via Digitalmars-d]

On 05/17/2014 09:29 PM, Timon Gehr wrote:
>>
>
>>
>> Typo: int_leibiz_equality :o). -- Andrei
>
> If that is everything, then I am in good shape! :o)

It could be argued though, that this axiom was not too aptly named in 
the first place, because it describes the indiscernibility of identicals 
instead of the identity of indiscernibles.