Yes we will take the next active session 015, but before we do. Do we need to update the NGUYEN.md to track this new project with a checklist so we can keep track. If any other place need to be documented with this new project, we need to documented it fully and correct. Once, done, please continue with the next (session 015): ii′-1a — the liCoeff pairing fix + summability proof.