# definitions