Marvin was humming ironically because he hated humans so much. — Douglas Adams, The Hitchhiker's Guide to the Galaxy