State reduction