Simplified assertion logic