What is the devil?