Unknown can be known ; known can't be Unknown