This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
At present the semantics of instantiation of a generic specification is defined even if not for all models of the argument specification their reduct to the parameter signature is a model of the parameter specification.This note is supported by Maura Cerioli, Gianna Reggio, Till Mossakowski and Magne Haveraaen. However, any errors and misunderstandings are my fault.We propose that the semantics of instantiation is undefined in this case.