migrate: implant -> implement