Ok, this situation would be discoverable unambigiously, but not specifying it is ok as well.