Law-based Core testing; fix Fixity's Order.