Rule 4 implemented.