On Apr 14, 2010, at 1:24 PM, Ashley Yakeley wrote: > Bottoms should not be considered values. They are failures to > calculate values, because your calculation would never terminate (or > similar condition). And yet you are trying to recover the semantics of comparing bottoms.