Many more theorems about first sets (taken from Aditi Barthwal's PhD)