then becomes