lie ( hvil r^t,