goal states in Rules