generalizing states (draft)