Identity statements between names, when true, are necessarily true, even though one might not know it a priori.