Defined 4.02