enligt följande Prog i * a.