VÄS * i d : r d ¬ n t.