proposal has equations
githubreadable