Derive default state