Learn how ⅇ is leading a new look for new proofs