The query form of a proposition:

Question $1$ options:

a$)$

is like a constant in an imperative language

b$)$

is assumed to be true

c$)$

must be proven to be true

d$)$

changes value based on other propositions