True initial