More work on the implicit states.