Update section for general assertions