Correct, ABC is defined