for the inductive case we first prove the first part the pets at first seem normal until they change into their alien forms ikemezwa n'inama rusange kunywa ikirahuri kimwe