additional definitions