new_contents: # All universal constants in MathLibPy.
  # TODO: Make these actually constant.
  
  INFINITY = "infinity"
  NEG_INF = "neg_inf"     # Negative infinity
  UNDEFINED = "undefined"
  
  REAL_CARD = "real_card" # Cardinality of the set of real numbers
  NAT_CARD = "nat_card"   # Cardinality of the set of natural numbers
  
subject: Add constants for infinities and undefined values