A.F.1.d.iv: vertical lines as 𝑥 = 𝑎; and