satan is a character in which book?
(AND book.book (JOIN book.book.characters m.06wzv))