to truncate