Tagged check-truncation