verified data structure