Leaving this branch indefinitely, since Shibashis says that Fernandez'
algorithm may not be necessary.