Defined 4.01