» lkr da a^ B.