1/1: Building DeterminingData (DeterminingData.idr)
1/1: Building DeterminingRecord (DeterminingRecord.idr)
