Forming a state module