Comment by aljarry

Yes, exactly. What I meant is: it's not the code itself that encodes this logic or reasoning.