HAM/3: An algorithm or a theory?