Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Pentagon – po 11.09.2001 Pentagone.
Że SOR BN 12 jest krzywy, dzięki czemu lepiej wchodzi w zakręty?