Make consistency rule example shorter