parid0377 | Sat, 22 Feb 2003 16:02:03
If neither assertion specifies its assertion type, it cannot be assumed that the lack of an assertion type itself constitutes a specific assertion type which is the same for both.
Untyped assertions never merge.
parid0377 | Sat, 01 Mar 2003 16:30:41
If neither assertion specifies its assertion type, it cannot be assumed that the lack of an assertion type itself constitutes a specific assertion type which is the same for both.
If both assertions fail to specify an assertion type, it is conclusively presumed that the assertion type are different.
State in positive terms, not "cannot be presumed" simply say it is
not presumed.