default state walker relaxed