th04/op: Initial state