module universal_truths.
  
  plus 0 X X.
  
  likes X vanilla.