factoring some helpers for descendent assertions