4.5.1.2	beta-replacement	
4.5.1.2	elimination