module universal_truths.

  plus 0 X X.
  
  likes X vanilla.