De facto
Contoh lain: tidak ada hukum yang menghalangi penambahan dengan huruf ke-27 seperti misalnya Þ (ucapan "th" dalam kata "thorn") ke dalam abjad. Malah pada abad-abad yang lampau orang menambahkan huruf tanpa banyak kesulitan. Namun pada masa kini hal itu tidak dimungkinkan karena akan menimbulkan berbagai kesulitan. Jadi, ada batas "de facto" dalam memodifikasi abjad. Penambahan huruf seperti itu tidak praktis karena tak seorangpun akan mengenalinya.
Logika
Penalaran deduktif, kadang disebut logika deduktif, adalah penalaran yang membangun atau mengevaluasi argumen deduktif. Argumen dinyatakan deduktif jika kebenaran dari kesimpulan ditarik atau merupakan konsekuensi logis dari premis-premisnya. Argumen deduktif dinyatakan valid atau tidak valid, bukan benar atau salah. Sebuah argumen deduktif dinyatakan valid jika dan hanya jika kesimpulannya merupakan konsekuensi logis dari premis-premisnya.