Relaxed assertion