next＝＝\*the next-state relation