finished initialization assertions