This is a Proof of 🧠 introduction