અલબત્ત, આ બધા નામો અનૌપચારિક છે.