Euclidean ⟹ PID ⟹ UFD ⟹ integral domain. Each inclusion strict: ℤ[(1+√−19)/2] PID not Euclidean; ℤ[x] UFD not PID.