th03/op: Initial state