Tag: Prelog's rule asymmetric synthesis