Hi there, Is there any actual difference between these assertion forms? Or it is just a way to better categorise the properties to be proved? Thanks, Lucian -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.csl.sri.com/pipermail/sal-help/attachments/20060731/4f51a311/attachment.html