Add
formal proof

Your toast message here