A count over an adaptive set, projected through view (the node behind ASet.count with id and ASet.isEmpty with fun c -> c = 0). Registers nothing: the count is re-read at the next read after a write; the version advances only when the projected output changed, so a count change that the projection collapses (2 -> 3 under isEmpty) costs the node and its consumers nothing.