Initial states added: base constructed