Write down theories for unknowns in DATACNBPv3.