which comic book letterer lettered detective comics #580?
(AND comic_books.comic_book_letterer (JOIN comic_books.comic_book_letterer.comic_covers_lettered m.03bx0cp))