a name for the principality of Wales.