Proving my theorems keep going with science 🧪 and life