remove unnecessary precondition
work on PokeNext