how many comic book stories did dave gibbons make?
(COUNT (AND comic_books.comic_book_story (JOIN comic_books.comic_book_story.letters m.02th5t)))