Change Will Change

Halailah Hazeh הַלַּיְלָה הַזֶּה

?מַה נִּשְׁתַּנָּה הַלַּיְלָה הַזֶּה מִכָּל הַלֵּילוֹת

Ma nishtanah halailah hazeh mikol haleilot?

What changed the night the this from all the nights

change
mishtanah משתנה

will be changed
lehishtanot לְהִשְׁתַּנּוֹת

from all
mikol מִכָּל

Cohesive

the night the this
♭X = discrete points of X

all the nights
ʃX = continuous shape of X

Theorem: ♭ʃX ≃ ♭X captures discrete approximations

Discrete

What changed the night the this from
‖A‖ as "A up to proof relevance"