what book includes the character satan?
(AND book.book (JOIN book.book.characters m.06wzv))