for trefjcrdeb 0 \ to^.