Definition of Ferdingus