You are arguing about the difference between operational semantics and denotational semantics. Either is fine for explaining something to a human, as long as i

You are arguing about the difference between operational semantics and denotational semantics. Either is fine for explaining something to a human, as long as it makes sense from the context.