And the sql-definition of st_astwkb_agg