instantiate and simplify.