Ori uses Automatic Reference Counting with value semantics — every variable owns its data, every assignment is a logical copy, there is no shared mutable state. This is the simplest model for ...