The rules below should be green, and there should be no assertion failures.