Simplified assert