Which I presume is why pascal uses `:=`. Also, in more declarative languages, particularly ones that don't allow reassignment, = can be regarded as an assertio

Which I presume is why pascal uses `:=`. Also, in more declarative languages, particularly ones that don't allow reassignment, = can be regarded as an assertion of equality rather than an assignment.