PKt[ Counting/PKt[.Counting/Counting.inoMNA 0