dfn

instance definition