Reka: Formalizing a long-term project!