finished shortest instantiations, removed typos