He would have had to right? How else would we even know that sinning was an option?