Rule impl.