complete up to definition model