From StarAI to Nesy