Comment by GoblinSlayer

Declarative construct is made of relations, but imperative execution isn't, rather it's a process in time, but time is not a thing in math.