def sucessor(state): return []