only full condensing yet in case initial state is fixed