Symbol: pt2_is_empty