Section 4231. undefined