Descripton of basic implementation, part of rank proof