எப்போதும் இருக்க வேண்டும்-ஒரு குறிப்பிட்ட துண்டு அல்லது ஒரு கணினி நிரலின் ஒரு குறிப்பிட்ட புள்ளியை உண்மையான ஒரு assertion.