A grounded conceptual model for ownership types in Rust