Advances in proving validity for DeBruijn transformation