Comprehensively commented fernandez implementation. Next, to fix some
bugs in the design, and then to make it a true module.