Inconsistent incomplete requirements