writable and no nullable property but the value is unknown