Definition of Tignum