 All but the last two crossreference the parent subclause [expr.prop], with two sibling subclauses in-between.