Tag: cram's rule and Prelog's rule