antiform

  x*0 + x*0 = 0*x + 0*x = (0+0)*x = 0*x = x*0

  x*0 + x*0 = x*0.

  A = x*0.

  A + A = A
  A + A + (-A)  = A + (-A), by the existence of additive inverses.
  A + (A + (-A)) = (A + (-A)), by associativity of addition
  A + 0 = 0, by the definition of additive inverses
  A = 0, by the definiton of the neutral element 0 of addition

  "It doesn't support gapless playback because in modern times, you should focus songs not albums!"
  "It only holds 10 gigs, because you should only listen to your best songs on the go!"
  "You don't need a button for skipping tracks, because you should spend your time listening to music, not switching between songs!"

  http://news.ycombinator.com/item?id=523065
  http://news.ycombinator.com/item?id=544076