which comic book issue has the issue number 580?
(AND comic_books.comic_book_issue (JOIN comic_books.comic_book_issue.issue_number 580^^http://www.w3.org/2001/XMLSchema#integer))