Refactor truncation and also do it for verify