looking up defs