Assertion tools.