in some versions juan's adventures start with an agreement with the devil