About incomplete specification

This is closely related to this problem:
Partially specified problems