New trivial automatic rewrite about LEAST.