Decuple definitions