editing/adding instantiation examples