@huonw I always wonder this. Somehow the latter form always seems nice to me but also weird: it's stating the rule, but leaving it implied that you broke it...