s.empty()