Also publish the implementation of Proposition 3.1 & 3.2 (Maxwell, 1998).
add background in readme.md.