Title: all the stars in the sea