Tag: Prelog's rule asymmetric induction