Ini adalah definisi mantan menurut para penyihir.