Is the following statement, correct? When all Cement dust has been swept away, all areas should be washed with fresh water using high-pressure hoses of up to 2,500 Pounds per square inch.