Definition of Galli-Halfpence