relaxed assertion