some more defs