added instances and tex