th02/maine: Initial state