ongoing work
Merge branch 'erlang_rings'