Changed to use concatData
Added width and lambda to proofStruct