some trivial definitions